Disable xen platform PCI device when xen_platform_pci=0 is specified
authorKeir Fraser <keir.fraser@citrix.com>
Wed, 18 Mar 2009 11:37:59 +0000 (11:37 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Wed, 18 Mar 2009 11:37:59 +0000 (11:37 +0000)
commit0456ddb4323b083f72370867414bbe139c83490f
treea56590189c4031a72c64b6cc96d998f20141715d
parent84b150afdb818b61654c400a15b3da0f0ec0b777
Disable xen platform PCI device when xen_platform_pci=0 is specified

 - Change guest firmware to use new fixed byte port 0x10.
 - Add "xen_platform_pci" option into guest config file and APIs.
    xen_platform_pci=0: Disable xen platform device.
    xen_platform_pci=1: Enable xen platform device. (default)
 - Add "disable_pf" entry into xenstore.

Signed-off-by: Yuji Shimada <shimada-yxb@necst.nec.co.jp>
tools/examples/xmexample.hvm
tools/firmware/hvmloader/config.h
tools/firmware/hvmloader/hvmloader.c
tools/firmware/rombios/rombios.c
tools/python/xen/xend/XendConfig.py
tools/python/xen/xend/image.py
tools/python/xen/xm/create.py
tools/python/xen/xm/xenapi_create.py